Martin University - PDFSEARCH.IO - Document Search Engine

Martin University
Results: 3212

#	Item
11	System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology Add to Reading List Source URL: www.logic.at Language: English - Date: 2018-07-19 05:32:19 Mathematical logic Theoretical computer science Automated theorem proving Mathematics Proof theory Logic in computer science Formal methods Automated reasoning Proof assistant Proof complexity Reasoning system Isabelle
12	Exploring Limits to Prediction in Complex Social Systems Jake M. Hofman Travis Martin University of Michigan Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 01:32:49 Software Computing Digital media Social media Social networking services Business intelligence Real-time web Text messaging Twitter Predictive modelling Prediction Instagram
13	NetSpectre: Read Arbitrary Memory over Network Michael Schwarz Martin Schwarzl Graz University of Technology Add to Reading List Source URL: gruss.cc Language: English - Date: 2018-07-26 17:58:17 Computer hardware Computer architecture Computing Side-channel attacks Computer security X86 architecture Central processing unit Computer memory Spectre Microarchitecture CPU cache Meltdown
14	Testing a Saturation-Based Theorem Prover: Experiences and Challenges Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,2 1 School of Computer Science, University of Manchester, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-31 12:00:20 Theoretical computer science Formal methods Mathematical logic School of Computer Science University of Manchester Mathematics Logic in computer science Automated theorem proving Formal verification SPASS Andrei Voronkov Vampire First-order logic
15	Verified Computations Using Taylor Models and Their Applications Kyoko Makino and Martin Berz Department of Physics and Astronomy Michigan State University Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2017-07-24 10:20:49 Latin script Character encoding Digital typography Circumflex Writing Notation French Braille World glyph set
16	NetSpectre: Read Arbitrary Memory over Network Michael Schwarz Martin Schwarzl Graz University of Technology Add to Reading List Source URL: mlq.me Language: English - Date: 2018-08-17 12:03:32 Computer hardware Computer architecture Computing Side-channel attacks Computer security X86 architecture Central processing unit Computer memory Spectre Microarchitecture CPU cache Meltdown
17	Rigorous Reachability Analysis and Domain Decomposition of Taylor Models Martin Berz and Kyoko Makino Department of Physics and Astronomy Michigan State University Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2017-07-24 10:20:50 Numerical methods for ordinary differential equations Domain decomposition methods Numerical analysis Numerical software Mathematical analysis PROPT
18	Playing with AVATAR Giles Reger, Martin Suda and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. Modern first-order resolution and superposition theorem provers use saturation algorithms to search fo Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 13:24:35 Theoretical computer science Automated theorem proving Mathematics Mathematical logic Formal methods Logic in computer science Resolution Logic programming Clause Vampire Boolean satisfiability problem CARINE
19	Understanding Resolution Proofs through Herbrand’s Theorem‹ Stefan Hetzl1 , Tomer Libal2 , Martin Riener3 , and Mikheil Rukhaia4 1 Institute of Discrete Mathematics and Geometry, Vienna University of Technology Add to Reading List Source URL: www.logic.at Language: English - Date: 2014-04-14 05:43:30 Mathematical logic Proof theory Logic Mathematics Natural deduction Sequent calculus Sequent First-order logic Admissible rule Conjunctive normal form Quantifier Cut-elimination theorem
20	What is the Point of an SMT-LIB Problem? ∗ Giles Reger and Martin Riener University of Manchester, Manchester, UK Add to Reading List Source URL: www.logic.at Language: English - Date: 2018-07-19 05:32:19 Theoretical computer science Mathematical logic Mathematics Formal methods Automated theorem proving Logic in computer science School of Computer Science University of Manchester Constraint programming Satisfiability modulo theories Solver Logic programming Resolution

UPDATE